Semantic Adaptation Using CCSL Clock Constraints
نویسندگان
چکیده
When different parts of a system depend on different technical domains, the best suitable paradigm for modeling each part may differ. In this paper, we focus on the semantic adaptation between parts of a model which use different modeling paradigms in the context of model composition. We show how CCSL, a language for defining constraints and relations on clocks, can be used to define this semantic adaptation in a formal and modular way.
منابع مشابه
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL
In the development of safety-critical embedded systems, the ability to formally analyze system behavior models, based on timing and causality, helps the designer to get insight into the systems overall timing behavior. To support the design and analysis of real-time embedded systems, the UML modeling profile MARTE provides CCSL – a time model and a clock constraint specification language. CCSL ...
متن کاملVerification of clock constraints: CCSL Observers in Esterel
The Clock Constraint Speci cation Language (ccsl) has been informally introduced in the speci cations of the uml Pro le for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In a previous report entitled Syntax and Semantics of the Clock Constraint Speci cation Language , we equipped a kernel of ccsl with an operational semantics. In the present report we pursue this clari cation...
متن کاملClock Constraints in UML/MARTE CCSL
The UML Pro le for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model RTE systems including both discrete/dense and chronometric/logical time. MARTE OMG speci cation introduces a Time Structure inspired...
متن کاملSyntax and Semantics of the Clock Constraint Specification Language (CCSL)
The UML Pro le for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model real-time systems. The MARTE OMG speci cation introduces a Time Structure inspired from Time models of the concurrency theory and ...
متن کاملClocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems
Problems concerning formal semantics for Clock Constraint Specification Language (CCSL) are considered in the paper. CCSL is intended for describing logical time models for real-time embedded systems and the language is a part of UML profile for MARTE. There exist two approaches to introduce a denotational semantics for CCSL. A pure relational subset of CCSL is defined in the paper. The notion ...
متن کامل